Merge pull request #5938 from nxhack/bump_3_0_12
authorHannu Nyman <[email protected]>
Wed, 25 Apr 2018 08:52:45 +0000 (11:52 +0300)
committerGitHub <[email protected]>
Wed, 25 Apr 2018 08:52:45 +0000 (11:52 +0300)
swig: bump to 3.0.12


Trivial merge